Semi‐formal specifications and formal verification improving the digital design: some statistics
نویسندگان
چکیده
منابع مشابه
Design and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملDeductive Verification for Improving Slicing of Integrated Formal Specifications
The combination of the two well known formal specification techniques CSP [Hoa85] for behavioural aspects of systems and Object-Z (OZ) [Smi00] for data aspects of systems into the specification language CSPOZ [Fis97] has already been subject of intense research. An important challenge, especially when trying to automatically or semi-automatically analyse such specifications, is their inherent c...
متن کاملFormal Verification and Validation of Interactive Systems Specifications - From Informal Specifications to Formal Validation
This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show in this paper how formal B specifications can be derived from informal requirements in the informal notation UAN. Then, these B specifications are validated using the data oriented specification language EXPRESS. Sever...
متن کاملA Simulation Approach to Verification and Validation of Formal Specifications
Specification simulation is an approach to verifying and validating specifications by wellselected sample data. In this paper we put forward a technique for simulation of formal specifications in order to detect potential faults and validate their desired functions. The important benefit of this technique is to allow us to simulate implicit specifications, which are usually defined with a pair ...
متن کاملFormal Verification of AADL Specifications in the Topcased Environment
We describe a formal verification toolchain for AADL, the SAE Architecture Analysis and Design Language, enriched with its behavioral annex. Our approach is based on tools that are integrated in the Topcased environment. We give a high-level view of the tools involved and illustrate the successive transformations that take place during the verification process.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Research and Technology
سال: 2009
ISSN: 2448-6736,1665-6423
DOI: 10.22201/icat.16656423.2009.7.01.498